| Psychologie der axiome [microform] (Volume Schultz, Johannes.) - Schultz, Johannes Microfilm Keywords: Axioms; Psychology Downloads: 50 | |

| Festschrift zur feier der enthüllung des Gauss-Weber-denkmals in Göttingen - Hilbert, David, 1862-1943 Book digitized by Google from the library of Harvard University and uploaded to the Internet Archive by user tpb. Keywords: Axioms; Electrodynamics; Geometry Downloads: 145 | |

| The dependence of Euklid's propositions upon his axioms and postulates - Connelly, Emma Brown Thesis (B.A.)--University of Illinois, 1907 Keywords: Euclid; Geometry; Axioms; Theses Downloads: 29 | |

| Die Axiome der Geometry; eine philosophische Untersuchung der Riemann-Helmholtz'schen Raumtheorie - Erdmann, Benno, 1851-1921 14 Keywords: Axioms; Generalized spaces; Mathematics Downloads: 441 | |

| Festschrift zur feier der enthüllung des Gauss-Weber-denkmals in Göttingen - Hilbert, David, 1862-1943 Book digitized by Google from the library of Harvard University and uploaded to the Internet Archive by user tpb. Keywords: Axioms; Electrodynamics; Geometry Downloads: 328 | |

| On the twelfth axiom of the first book of Euclid - Stanhope, Philip Henry Stanhope, Earl, 1805-1875
Keywords: Axioms; Trisection of angle Downloads: 266 | |

| Optics - Sir Isaac Newton Sir Isaac Newton Optics Dover Publications Inc. 1952 Acrobat 7 Pdf 16.8 Mb. Scanned by artmisa using Canon DR2580C + flatbed option Keywords: Physics; Opticks; Definitions; Axioms; Propositions; Theorems; Problems Downloads: 1,403 | |

| Rock or sand? - Maxwell, Jerome L. Paper outlining the author's views on the foundations of mathematics and the differences between mathematics and the sciences. This paper was prepared as part of Maxwell's initiation into Phi Mu, an engineering honor society. Keywords: Mathematics -- Philosophy; Axioms; Mathematical analysis -- Foundations Downloads: 78 | |

| Introduction to Modern Mathematics - Herbert Meschkowski Herbert Meschkowski Introduction to Modern Mathematics George G. Harrap & Co. Ltd. 1968 Acrobat 7 Pdf 25.5 Mb. Scanned by artmisa using Canon DR2580C + flatbed option Keywords: Mathematics; Axioms; Sets; Rational Numbers; Groups; Rings; Fields; Lattices; Spaces Downloads: 518 | |

| Image Information Mining Utilizing Hierarchical Segmentation - Tilton, James C. The Hierarchical Segmentation (HSEG) algorithm is an approach for producing high quality, hierarchically related image segmentations. The VisiMine image information mining system utilizes clustering and segmentation algorithms for reducing visual information in multispectral images to a manageable size. The project discussed herein seeks to enhance the VisiMine system through incorporating hierarchical segmentations from HSEG into the VisiMine system. Keywords: MATHEMATICAL LOGIC; OPTIMIZATION; MATHEMATICAL MODELS; GRAPH THEORY; INFERENCE; AXIOMS Downloads: 85 | |

| Unizor: Math 4 Teens - Geometry2D - Elements - Points - Zor Shekhtman A geometrical point is an abstraction, as most other objects of mathematics, like numbers, functions etc. At the same time it has some similarity with the real world, and that similarity is the justification for mathematicians to create a corresponding geometrical object called "a point". It is appropriate to present a definition of a point given by Greek mathematician Euclid of Alexandria, who lived around 300BC: "A point is that which has no parts or magnitude." Keywords: Unizor; Math; Math4Teens; Geometry; Planimetry; Elements; Points; Axioms; Theorems; Euclid Downloads: 31 | |

| A helium-3/helium-4 dilution cryocooler for operation in zero gravity - Hendricks, John B This research effort covered the development of He-3/He-4 dilution cryocooler cycles for use in zero gravity. The dilution cryocooler is currently the method of choice for producing temperatures below 0.3 Kelvin in the laboratory. However, the current dilution cryocooler depends on gravity for their operation, so some modification is required for zero gravity operation. In this effort, we have demonstrated, by analysis, that the zero gravity dilution cryocooler is feasible... Keywords: DAMPING; DISTRIBUTION FUNCTIONS; MATHEMATICAL MODELS; PLASMA DENSITY; PLASMA WAVES; PLASMAS (PHYSICS); AXIOMS; RADIATION DISTRIBUTION Downloads: 149 | |

| The Apothegms of Enlightenment - Marcus the Apollonian These are the Apothegms of Enlightenment--the "clear sayings" without ambiguity or uncertainty that lead to intellectual liberation and a life fulfilled. Yet nothing here is new. Great men and women of philosophy, science, and wisdom have proclaimed these truths to every generation down through the centuries. Once more they are given to you, freely, openly, and truthfully, and with the hope that such wisdom will be heard by all. Keywords: science; philosophy; wisdom; enlightenment; platonism; plato; pythagoras; neoplatonism; hermeticism; hermetic; religion; apothegms; axioms; sayings Downloads: 771 | |

| Deterministic multi-zone ice accretion modeling - Yamaguchi, K. The focus here is on a deterministic model of the surface roughness transition behavior of glaze ice. The initial smooth/rough transition location, bead formation, and the propagation of the transition location are analyzed. Based on the hypothesis that the smooth/rough transition location coincides with the laminar/turbulent boundary layer transition location, a multizone model is implemented in the LEWICE code... Keywords: CHARGE TRANSFER; LOSSES; HOLES (ELECTRON DEFICIENCIES); ION DENSITY (CONCENTRATION); ION RECOMBINATION; LINEAR ENERGY TRANSFER (LET); SILICON; AXIOMS; DIFFUSION; KRYPTON Downloads: 73 | |

| Groups and Group Actions - Richard Earl In this �rst course in abstract algebra we concentrate on groups. Two other important algebraic structures are rings and �elds � you will likely have met the �eld axioms in LinearAlgebra I and Analysis I. Keywords: Maths; Algebra; Groups; Geometry and Groups; Groups; Group Actions; Permutations; Group Actions; Axioms for Groups; Orbit-Stabilizer Theorem; Conjugacy Classes; Group Action; Mathematics Downloads: 20 | |

| A study of the formation and dynamics of the Earth's plasma sheet using ion composition data - Lennartsson, O. W Over two years of data from the Lockheed Plasma Composition Experiment on the ISEE 1 spacecraft, covering ion energies between 100 eV/e and about 16 keV/e, have been analyzed in an attempt to extract new information about three geophysical issues: (1) solar wind penetration of the Earth's magnetic tail; (2) relationship between plasma sheet and tail lobe ion composition; and (3) possible effects of heavy terrestrial ions on plasma sheet stability. Keywords: CREEP PROPERTIES; CALIBRATING; COMPUTER PROGRAMS; HIGH TEMPERATURE; INFERENCE; DISTRIBUTION FUNCTIONS; INCONEL (TRADEMARK); MECHANICAL PROPERTIES; STANDARD DEVIATION; STATISTICAL ANALYSIS; TEMPERATURE EFFECTS; THERMAL FATIGUE; AXIOMS Downloads: 59 | |

| Elementary Abstract Algebra - Edwin Clark This book is intended for a one semester introduction to absract algebra. Instead of spending a lot of time going over background material, we go directly into the primary subject matter. We discuss proof methods and necessary background as the need arises. Keywords: Maths; Algebra; Groups; Groups; Lagrange and Fermat-Euler�s Theorems; Isomorphism Theorems; Axioms for Groups; Cosets; Lagrange�s Theorem; Quaternions; Mathematics Downloads: 110 | |

| dec :: tech reports :: SRC-RR-96 From the bitsavers.org collection, a scanned-in computer-related document.dec :: tech reports :: SRC-RR-96 Keywords: memory; synchronization; correctness; executions; mutual; algorithm; operation; proof; commands; axioms; mutual exclusion; operation executions; synchronization commands; multiprocess program; memory cell; memory architecture; sequential consistency; programming languages; precedence relations; operation execution Downloads: 1 | |

| mit :: ai :: aim :: AIM-642 From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-642 Keywords: die; tlie; omega; description; axioms; attribution; descriptions; attributions; attribute; tliat; special constants; reasoning process; knowledge representation; inference rules; predicate logic; telephone number; monotonicity strictness; tlie completeness; description abstraction; omission monotonicity Downloads: 20 | |

| mit :: ai :: aim :: AIM-486 From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-486 Keywords: tableau; theory; fixed; logic; axioms; theorem; labeled; formulas; proof; tms; inference rules; truth maintenance; fixed point; tableau structure; fixed points; artificial intelligence; monotonic inference; consistent theory; proof procedure; predicate calculus Downloads: 38 | |

| dec :: tech reports :: SRC-RR-60 From the bitsavers.org collection, a scanned-in computer-related document.dec :: tech reports :: SRC-RR-60 Keywords: proof; trait; lsl; larch; traits; specification; lslc; prove; specifications; axioms; proof obligations; deduction rule; rewrite rules; larch shared; deduction rules; completion procedure; shared language; proof obligation; converts clause; qed prove Downloads: 1 | |

| mit :: ai :: aim :: AIM-710 From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-710 Keywords: set; symmetry; subset; die; axioms; equals; isomorphism; symmetric; essential; notion; set theory; symmetric sets; essential function; symmetric set; symmetry group; die set; structural isomorphism; point permutation; foundation axiom; finite set Downloads: 21 | |

| xerox :: parc :: techReports :: CSL-79-8 Code Generation and Machine Descriptions From the bitsavers.org collection, a scanned-in computer-related document.xerox :: parc :: techReports :: CSL-79-8 Code Generation and Machine Descriptions Keywords: code; instruction; machine; generator; axioms; automatic; compiler; generation; derivation; operand; automatic generation; instruction set; code generation; machine descriptions; code generator; machine description; access mode; automatic derivation; code generators; access modes Downloads: 16 | |

| mit :: lcs :: tr :: MIT-LCS-TR-325 From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-325 Keywords: term; evaluator; lemma; reduction; type; combinatory; axioms; theorem; notion; reducible; type errors; lambda calculus; type error; natural numbers; proof system; unary function; bound variables; axiom schemes; combinatory model; cross diamond Downloads: 23 | |

| dec :: tech reports :: SRC-RR-65 From the bitsavers.org collection, a scanned-in computer-related document.dec :: tech reports :: SRC-RR-65 Keywords: satisfies; holds; temporal; logic; proposition; actions; action; proof; computation; axioms; temporal logic; proof system; proposition symbol; proposition symbols; boolean combination; action symbols; temporal reasoning; complete proof; propositional temporal; computation satisfies Downloads: 3 | |

| mit :: lcs :: tr :: MIT-LCS-TR-237 From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-237 Keywords: data; type; specification; operations; equivalence; nondeterministic; operation; behavior; axioms; exception; observable equivalence; type algebras; data type; ground terms; data types; exceptional behavior; nondeterministic operation; ground term; equivalence relation; type algebra Downloads: 23 | |

| mit :: ai :: aim :: AIM-868 From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-868 Keywords: circumscription; predicate; axiom; minimal; reasoning; predicates; axioms; set; default; extensions; smallest set; minimal set; predicate circumscription; default reasoning; circumscription axiom; predicate completion; derivational closure; minimal extensions; resource limited; minimal extension Downloads: 15 | |

| mit :: ai :: aim :: AIM-486a From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-486a Keywords: tableau; theory; fixed; logic; axioms; theorem; labeled; formulas; proof; tms; inference rules; truth maintenance; fixed point; artificial intelligence; fixed points; tableau structure; normic statements; consistent theory; proof procedure; predicate calculus Downloads: 25 | |

| mit :: ai :: aim :: AIM-429 From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-429 Keywords: programs; logic; program; proof; axioms; correctness; modal; dynamic; execution; programming; zeroary function; total correctness; dynamic logic; checking proofs; partial correctness; artificial intelligence; nondeterministic programs; massachusetts institute; modal logic; proof step Downloads: 38 | |

| mit :: lcs :: tr :: MIT-LCS-TR-154 From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-154 Keywords: specifications; ordering; events; properties; behavior; semaphore; data; actor; program; synchronization; actor system; programming language; data base; solution specifications; mutual exclusion; parallel processes; causal axioms; high level; time ordering; writer priority Downloads: 26 | |

| On the Emergence of Life and Human Consciousness - I. C. Baianu, Ronald Brown and James F. Glazebrook A Monograph Published in: Acta Universitatis Apulensis,ISSN 1582-5329, 2011: 10 (6)-175-298'Special Issue on Understanding Complex Systems,Eds. Barna Iantovics, Ladislav HluchÂ¶y and Roumen Kountchev. Abstract. In this monograph we present a novel approach to the problems raised by higher complexity in both nature and the human society, by considering the most complex levels of objective existence as ontological meta-levels, such as those present in the creative human minds and civilised, mode... Keywords: Categorical Ontology and the Theory of Levels (COTL); meta-levels; Non- Abelian Categorical Ontology; analysis and synthesis; Theoretical Biology; General Systems Theory and Complex Systems Biology; closed and open systems; boundaries and horizons; complex; super-complex and ultra-complex system dynamics; nonlinear dynamics; autopoiesis and generalised metabolic-replication systems; (M; R)-systems (MRs) and organisms; Theory of Categories; Functors and Natural Transformations (CT); Yoneda-Grothendieck Lemma; category of categories; super-category; or 2-category; n-category; ETAC and ETAS axioms; Non-Abelian Algebraic Topology (NAAT); Double Groupoids; category of double groupoids and double category; Higher Homotopy-Generalised van Kampen theorems (HHGvKTs); Higher Dimensional Algebra (HDA) of Networks; Higher Dimensional Algebra of Brain Functions; non-commutative topological invariants of complex dynamic state spaces; Quantum Algebraic Topology (QAT) and Axiomatic Quantum Theory (AQT); Quantum Double Downloads: 476 | |